The suppression of sexuality is culturally widespread, and women’s sexual promiscuity, activity, and enjoyment are almost always judged and punished more harshly than men’s. It remains disputed, however, to what end people suppress sexuality, and who benefits from the suppression of female sexuality. Different theories predict that women in general, men in general, women’s intimate partners, or parents benefit most. Here we use the lies women and men tell—or imagine telling—about their sexual histories as an indirect measure of who is (...) most involved in the suppression of sexuality. We asked men and women what they would reply if asked questions by their mother, father, current partner, attractive confederate, and various same- or opposite-sex friends and colleagues about their number of previous sex partners, age at first romantic kiss, age at first consensual sex, and cheating on a previous partner or spouse. By comparing the size and direction of the lies that subjects told, we tested competing predictions of several cultural and evolutionary theories concerning why female sexuality is suppressed and who is driving its suppression. We found that men and women told larger and more frequent lies to their parents, with women telling the largest and most frequent lies of all to their fathers. Additionally, the majority of lies by both men and women were in sexually conservative directions. Our findings suggest that mothers, and especially fathers, restrict female sexuality. (shrink)

Eye-tracking techniques were used to measure men’s attention to back-posed and front-posed images of women varying in waist-to-hip ratio (WHR). Irrespective of body pose, men rated images with a 0.7 WHR as most attractive. For back-posed images, initial visual fixations (occurring within 200 milliseconds of commencement of the eye-tracking session) most frequently involved the midriff. Numbers of fixations and dwell times throughout each of the five-second viewing sessions were greatest for the midriff and buttocks. By contrast, visual attention to front-posed (...) images (first fixations, numbers of fixations, and dwell times) mainly involved the breasts, with attention shifting more to the midriff of images with a higher WHR. This report is the first to compare men’s eye-tracking responses to back-posed and front-posed images of the female body. Results show the importance of the female midriff and of WHR upon men’s attractiveness judgments, especially when viewing back-posed images. (shrink)

Because no single person or group holds knowledge about all aspects of research, mechanisms are needed to support knowledge exchange and engagement. Expertise in the research setting necessarily includes scientific and methodological expertise, but also expertise gained through the experience of participating in research and/or being a recipient of research outcomes. Engagement is, by its nature, reciprocal and relational: the process of engaging research participants, patients, citizens and others brings them closer to the research but also brings the research closer (...) to them. When translating research into practice, engaging the public and other stakeholders is explicitly intended to make the outcomes of translation relevant to its constituency of users. In practice, engagement faces numerous challenges and is often time-consuming, expensive and ‘thorny’ work. We explore the epistemic and ontological considerations and implications of four common critiques of engagement methodologies that contest: representativeness, communication and articulation, impacts and outcome, and democracy. The ECOUTER methodology addresses problems of representation and epistemic foundationalism using a methodology that asks, “How could it be otherwise?” ECOUTER affords the possibility of engagement where spatial and temporal constraints are present, relying on saturation as a method of ‘keeping open’ the possible considerations that might emerge and including reflexive use of qualitative analytic methods. This paper describes the ECOUTER process, focusing on one worked example and detailing lessons learned from four other pilots. ECOUTER uses mind-mapping techniques to ‘open up’ engagement, iteratively and organically. ECOUTER aims to balance the breadth, accessibility and user-determination of the scope of engagement. An ECOUTER exercise comprises four stages: engagement and knowledge exchange; analysis of mindmap contributions; development of a conceptual schema ; and feedback, refinement and development of recommendations. ECOUTER refuses fixed truths but also refuses a fixed nature. Its promise lies in its flexibility, adaptability and openness. ECOUTER will be formed and re-formed by the needs and creativity of those who use it. (shrink)

I wish to thank Klaus Kühnle who streamlined in [8] several of my definitions and proofs concerning the subject matter of this paper. Some ideas and results arose from discussions with Klaus Leeb. Jan Johannsen discovered some mistakes in an earlier version.

My reason for bringing up the familiar matter of phenomenalism is both critical and historical. Almost to a man those who have been interested in arguing for or against phenomenalism have assumed that Berkeley was a phenomenalist. Now if Berkeley's doctrine is appropriately named “phenomenalism,” then it is a phenomenalism of a quite different stripe from the twentieth century variety, though many who have described his doctrine as phenomenalism have not sufficiently stressed the difference.

Although the theory of definability had many important antecedents—such as the descriptive set theory initiated by the French semi-intuitionists in the early 1900s—the main ideas were first laid out in precise mathematical terms by Alfred Tarski beginning in 1929. We review here the basic notions of languages, explicit definability, and grammatical complexity, and emphasize common themes in the theories of definability for four important languages underlying, respectively, descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. We review (...) the history of previous studies of the similarities and differences in the theories of definability of the first three of these four languages. A seminal role leading toward unification of the theories has been played by the separation principles introduced by Nikolai Luzin in 1927. Emphasizing analogies and driving toward further unification embracing finite-universe logic we concentrate on a simple example—the first and second separation principles for existential-universal first-order sentences . Using this as a test case for the fundamental problem of how to “finitize” arguments in classical pure logic to the finite-universe case, we are led to the analogous negative solution by using the theory of certain special graphs: a graph is - special for any positive integers m , n , p , q iff it is bipartite with m red points and n blue points and for every p -tuple of red points there is a blue point to which they are all connected . As an aside we introduce for further study a natural “Ramseyesque” increasing sequence A of positive integers, where A is the least positive integer n for which an -special graph exists. (shrink)

Recently a growing number of biologists have begun to consider the causal role that processes of embryonic development may play in evolution. This constitutes a reunion of these phenomena which had been linked in the nineteenth century through Haeckel's biogenetic law. This reunion may result in a new subdiscipline of biology, if there is a set of unique concepts and methods which tie the various research approaches together. Such concepts as bauplan, canalization, and developmental constraint, may serve in such a (...) capacity. The methods employed must combine comparative and experimental analyses, with special attention paid to the range of variation in developmental events within each taxon. These concepts and methods are also applicable to the problem of how development evolved, thus the evolution of development may also be considered part of the reunion. The reunion is discussed in terms of the potential participation of various schools of thought found in the current literature. (shrink)

The purpose of this brief introduction is to describe the origin of the papers here presented and to acknowledge the help of some of the many individuals who were involved in the preparation of this volume. Of the eighteen papers, nine stem from the annual fall colloquium of the Depart ment of Philosophy at the University of Western Ontario held in London, Ontario from November 10 to November 12, 1967. The colloquium was entitled 'Philosophical Logic'. After some discussion, the editors (...) decided to retain that title for this volume. Von Wright's paper 'On the Logic and Ontology of Norms' is printed here after some revision. A. R. Anderson commented on the paper at the colloquium, but his comments here are based upon the revised version of the von Wright paper. The chairman of the session at which von Wright's paper was read and discussed was T. A. Goudge. Aqvist's paper 'Scattered Topics in Interrogative Logic', and Belnap's comments, 'Aqvist's Cor rections-Accumulating Question-Sequences', are printed as delivered. The chairman of the Aqvist-Belnap session was R. E. Butts. Wilfrid Sellars' paper 'Some Problems about Belief' is printed as delivered at the col loquium, but 'Quantifiers, Beliefs, and Sellars' by Ernest Sosa is a revision of his comments at the colloquium. That session was chaired by G. D. W. Berry. Ackermann's paper 'Some Problems oflnductive Logic', as well as Skyrms' comments, are printed as delivered. (shrink)

For each regular cardinal κ, we set up three systems of infinitary type logic, in which the length of the types and the length of the typed syntactical constructs are $\Sigma _{}$, the global system $\text{g}\Sigma _{}$ and the τ-system $\tau \Sigma _{}$. A full cut elimination theorem is proved for the local systems, and about the τ-systems we prove that they admit cut-free proofs for sequents in the τ-free language common to the local and global systems. These two results (...) follow from semantic completeness proofs. Thus every sequent provable in a global system has a cut-free proof in the corresponding τ-systems. It is, however, an open question whether the global systems in themselves admit cut elimination. (shrink)

We propose the beginnings of an intuitionistic propopsitional dynamic logic, and describe several serious open problems.

This presentation of the main phases and features of political thought in the sixteenth century is based on an exhaustive study of contemporary writings in Latin, English, French, German and Italian. The book is divided into four parts. The first part deals with the new thought of Protestantism. The rest describes special ideas that emerged in England, France and Italy.

Summary: This is a provocative book for those who have closely aligned themselves with a specific research or pedagogical paradigm. The underlying theme of the book is to encourage multiple approaches to educational research that will inform practice... Although the book is more about eclecticism than constructivism, it can serve as a basis for many discussions on educational research as it is and where it should go.